Notes on Many-Sorted Logic

Preface, p. vii Any reasonable logical system can be naturally translated into many-sorted first-order logic; thus many-sorted first-order logic is a universal logic. Since many-sorted logic can be translated into single-sorted first-order logic the latter is also universal. However, as will be seen in the course of this book, many-sorted logic faithfully interprets the semantics of the object logical language and is, in practical terms, computationally more expressive and efficient. M. Manzano develops case studies in the translation of logics for second-order logic and propositional dynamic logic.